Algebraic models for higher categories

Directed Algebraic Topology, Categories and Higher Categories

Directed Algebraic Topology is a recent field, deeply linked with Category Theory. A ‘directed space’ has directed homotopies (generally non reversible), directed homology groups (enriched with a preorder) and fundamental n-categories (replacing the fundamental ngroupoids of the classical case). On the other hand, directed homotopy can give geometric models for lax higher categories. Applicatio...

ON ALGEBRAIC AND COALGEBRAIC CATEGORIES OF VARIETY-BASED TOPOLOGICAL SYSTEMS

Motivated by the recent study on categorical properties of latticevalued topology, the paper considers a generalization of the notion of topological system introduced by S. Vickers, providing an algebraic and a coalgebraic category of the new structures. As a result, the nature of the category   TopSys   of S. Vickers gets clari ed, and a metatheorem is stated, claiming that (latticevalu...

Higher Operads, Higher Categories

AN INTRODUCTION TO HIGHER CLUSTER CATEGORIES

In this survey, we give an overview over some aspects of the set of tilting objects in an $m-$cluster category, with focus on those properties which are valid for all $m geq 1$. We focus on the following three combinatorial aspects: modeling the set of tilting objects using arcs in certain polygons, the generalized assicahedra of Fomin and Reading, and colored quiver mutation.

Algebraic Models of Sets and Classes in Categories of Ideals

We introduce a new sheaf-theoretic construction called the ideal completion of a category and investigate its logical properties. We show that it satisfies the axioms for a category of classes in the sense of Joyal and Moerdijk [17], so that the tools of algebraic set theory can be applied to produce models of various elementary set theories. These results are then used to prove the conservativ...